Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
751	ETRIKS European Translational Information & Knowledge Management System Through the eTRIKS project, the University of Add to Reading List Source URL: horizon2020.lu Language: English - Date: 2014-12-09 11:19:04 Pharmaceutical industry Pharmacology Formal sciences Science and technology in Europe Luxembourg Centre for Systems Biomedicine Innovative Medicines Initiative Bioinformatics Clinical trial Biologist Science Pharmaceutical sciences Research
752	(PDF version) MIL-STD-498 Application and Reference Guidebook Page 25 Add to Reading List Source URL: www.abelia.com Language: English - Date: 2005-04-19 11:56:42 Systems engineering MIL-STD-498 Information technology management Software quality United States Military Standard DOD-STD-2167A Software configuration management Systems engineering process Configuration management Software development Software engineering Formal methods
753	Risk-Centric Model of Software Architecture George Fairbanks 16 November 2009 Rhino Research Add to Reading List Source URL: rhinoresearch.com Language: English - Date: 2010-10-31 20:30:31 Software architecture Science Software development process Threat model Systems engineering process Design Usability Systems science Knowledge Software engineering Formal methods Systems engineering
754	Manuscript draft, November 23, 2014 Formal Universes E.Engeler, ETH Zurich To guide the perplexed, philosophers used to propose their systems, physicists they Grand Add to Reading List Source URL: www.math.ethz.ch Language: English - Date: 2014-11-26 07:46:13 Predicate logic Logic in computer science Z notation Set theory Zermelo–Fraenkel set theory Finite set Function Combinatory logic Mereology Mathematical logic Mathematics Logic
755	Executive smiling and working on his laptop Add to Reading List Source URL: www.1010data.com Language: English - Date: 2013-12-15 15:07:13 Computing Database management systems Formal sciences Emerging technologies Big data Transaction processing Mashup Analytics HPCC Technology Data management Business intelligence
756	Formal Specification of an Erase Block Management Layer for Flash Memory J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:23:10 Flash file systems Non-volatile memory Embedded Linux UBIFS Flash memory Wear leveling Solid-state drive Memory Technology Device Disk formatting Computer memory Computer hardware Computing
757	Using Technology to Engage Citizens with Well-being Statistics Workshop 2: Perspectives from Official Statistics and Government Add to Reading List Source URL: www.wikiprogress.org Language: English - Date: 2014-10-28 11:44:50 Formal sciences Database management systems Database theory Demography Econometrics Official statistics Big data Geographic information system Technology Science Data management
758	An Architectural Approach for Cost Effective Trustworthy Systems Ihor Kuz, Liming Zhu, Len Bass, Mark Staples, Xiwei Xu NICTA Copyright 2012 Add to Reading List Source URL: wicsa2012.soberit.hut.fi Language: English - Date: 2012-11-29 11:36:03 Formal verification NICTA Trustworthiness Copyright Trust Computer security Gernot Heiser Ethics Science L4 microkernel family
759	Director, Institute for IT Innovation Add to Reading List Source URL: www.unece.org Language: English - Date: 2011-12-30 05:28:01 Software engineering Software development process Project management Systems engineering process Software Unified Process Software development Formal methods Systems engineering
760	Set Theory: Should You Believe? N J Wildberger School of Maths UNSW Sydney NSW 2052 Australia webpages: http://web.maths.unsw.edu.au/~norman "I protest against the use of infinite magnitude as something completed, which Add to Reading List Source URL: web.maths.unsw.edu.au Language: English - Date: 2006-04-03 03:11:30 Cardinal numbers Formal systems axioms of set theory Elementary mathematics Philosophy of mathematics Axiom Zermelo–Fraenkel set theory Finite set Function Mathematical logic Mathematics Set theory

UPDATE